23.76/27.51	unsat
