17.06/18.95	unsat
