7.97/10.79	unsat
