4.86/4.97	unsat
