18.30/35.98	unsat
