14.06/15.96	unsat
