3.92/3.96	unsat
