3.91/3.97	unsat
