829.25/831.40	unsat
