8.42/14.78	unsat
