25.37/26.71	unsat
