26.64/27.91	unsat
