14.64/17.66	unsat
