3.89/3.96	unsat
