25.99/26.07	unsat
