23.35/27.35	unsat
