6.87/6.94	unsat
