28.56/28.77	unsat
