28.69/28.77	unsat
