10.39/14.79	unsat
