4.77/4.96	unsat
