25.21/27.75	unsat
