596.93/604.77	unsat
