960.03/961.43	unsat
