3.77/3.96	unsat
