4.86/6.07	unsat
