26.14/27.47	unsat
