28.68/28.75	unsat
