28.62/28.79	unsat
