28.64/28.77	unsat
