12.49/15.79	unsat
