8.92/14.85	unsat
