17.13/17.95	unsat
