6.81/6.94	unsat
