24.20/28.51	unsat
