12.39/15.09	unsat
