26.81/29.04	unsat
