26.64/29.04	unsat
