28.96/29.04	unsat
