17.46/17.51	unsat
