6.87/9.03	unsat
