4.77/4.84	unsat
