6.85/10.40	unsat
