7.92/10.55	unsat
