28.24/29.54	unsat
