14.69/14.78	unsat
