18.46/18.51	unsat
