5.22/6.94	unsat
