26.22/27.57	unsat
