27.34/28.21	unsat
