28.25/29.46	unsat
