13.46/17.63	unsat
