826.60/831.01	unsat
