14.81/16.66	unsat
