17.84/17.95	unsat
