8.85/10.79	unsat
