23.54/28.84	unsat
