26.43/28.37	unsat
