17.46/17.54	unsat
