5.44/6.82	unsat
