25.99/26.01	unsat
