25.44/27.63	unsat
