29.48/31.04	unsat
