25.71/26.72	unsat
