28.78/29.51	unsat
