17.46/17.73	unsat
