26.62/27.57	unsat
