15.46/17.66	unsat
