14.46/17.09	unsat
