490.63/494.03	unsat
