17.46/17.56	unsat
