26.75/27.28	unsat
