870.86/874.17	unsat
