14.35/15.96	unsat
