4.77/6.22	unsat
