17.06/18.98	unsat
