6.03/8.84	unsat
