18.46/18.66	unsat
