3.91/3.96	unsat
