14.66/18.59	unsat
