3.69/3.84	unsat
