26.10/27.01	unsat
