23.95/27.08	unsat
