25.22/27.54	unsat
