5.86/9.80	unsat
