4.85/6.22	unsat
