14.66/15.59	unsat
