25.75/27.71	unsat
