4.86/4.94	unsat
