9.86/10.56	unsat
