4.86/4.91	unsat
