3190.89/3197.08	unsat
