5.86/8.77	unsat
