5.85/6.46	unsat
