14.37/17.66	unsat
